Instance Verification Kit (IVK)
mutex lock @ [1246+26+/linux-3.18-rc1/drivers/clk/clk.c]
Instance Signature: prepare_lock
The Matching Pair Graph:
Function Name
Control Flow Graph (CFG)
Events Flow Graph (EFG)
Source Correspondence
__clk_init
[43610+10+/linux-3.18-rc1/drivers/clk/clk.c]
__clk_put
[55913+9+/linux-3.18-rc1/drivers/clk/clk.c]
clk_disable_unused
[11395+18+/linux-3.18-rc1/drivers/clk/clk.c]
clk_dump
[4730+8+/linux-3.18-rc1/drivers/clk/clk.c]
clk_dump_one
[4024+12+/linux-3.18-rc1/drivers/clk/clk.c]
clk_dump_subtree
[4436+16+/linux-3.18-rc1/drivers/clk/clk.c]
clk_get_accuracy
[24395+16+/linux-3.18-rc1/drivers/clk/clk.c]
clk_get_parent
[37939+14+/linux-3.18-rc1/drivers/clk/clk.c]
clk_get_phase
[43177+13+/linux-3.18-rc1/drivers/clk/clk.c]
clk_get_rate
[26177+12+/linux-3.18-rc1/drivers/clk/clk.c]
clk_notifier_register
[57109+21+/linux-3.18-rc1/drivers/clk/clk.c]
clk_notifier_unregister
[58273+23+/linux-3.18-rc1/drivers/clk/clk.c]
clk_prepare
[18525+11+/linux-3.18-rc1/drivers/clk/clk.c]
clk_prepare_lock
[1111+16+/linux-3.18-rc1/drivers/clk/clk.c]
clk_prepare_unlock
[1412+18+/linux-3.18-rc1/drivers/clk/clk.c]
clk_round_rate
[22096+14+/linux-3.18-rc1/drivers/clk/clk.c]
clk_set_parent
[40374+14+/linux-3.18-rc1/drivers/clk/clk.c]
clk_set_phase
[42612+13+/linux-3.18-rc1/drivers/clk/clk.c]
clk_set_rate
[36835+12+/linux-3.18-rc1/drivers/clk/clk.c]
clk_summary_show
[3198+16+/linux-3.18-rc1/drivers/clk/clk.c]
clk_summary_show_one
[2605+20+/linux-3.18-rc1/drivers/clk/clk.c]
clk_summary_show_subtree
[2920+24+/linux-3.18-rc1/drivers/clk/clk.c]
clk_unprepare
[17416+13+/linux-3.18-rc1/drivers/clk/clk.c]
clk_unregister
[53388+14+/linux-3.18-rc1/drivers/clk/clk.c]